DROPS

Document

DOI: 10.4230/LIPIcs.ICLP.2010.144

From Relational Specifications to Logic Programs

Authors: Joseph P. Near

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)

Abstract

This paper presents a compiler from expressive, relational specifications to logic programs. Specifically, the compiler translates the Imperative Alloy specification language to Prolog. Imperative Alloy is a declarative, relational specification language based on first-order logic and extended with imperative constructs; Alloy specifications are traditionally not executable. In spite of this theoretical limitation, the compiler produces useful prototype implementations for many specifications.

Cite as

Joseph P. Near. From Relational Specifications to Logic Programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 144-153, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{near:LIPIcs.ICLP.2010.144,
  author =	{Near, Joseph P.},
  title =	{{From Relational Specifications to Logic Programs}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{144--153},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.144},
  URN =		{urn:nbn:de:0030-drops-25924},
  doi =		{10.4230/LIPIcs.ICLP.2010.144},
  annote =	{Keywords: logic programming, specification languages, executable specifications}
}

Search Results

Documents authored by Near, Joseph P.

From Relational Specifications to Logic Programs

Abstract

Cite as

Thanks for your feedback!

Could not send message